../../lib/currency/signed_poly.ml